TSTP Solution File: ALG267^1 by Nitpick---2016